Confluence (informatique)

Pour les articles homonymes, voir Confluence.

Cet article est une ébauche concernant l’informatique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

En mathématiques, ou en informatique, la confluence d'une relation binaire ${\displaystyle \rightarrow _{R}}$ est définie comme la propriété suivante :

Pour tous éléments ${\displaystyle M,M_{1},M_{2}}$ tels que ${\displaystyle M\rightarrow _{R}^{*}M_{1}}$ et ${\displaystyle M\rightarrow _{R}^{*}M_{2}}$, il existe un élément ${\displaystyle M'}$ tel que ${\displaystyle M_{1}\rightarrow _{R}^{*}M'}$ et ${\displaystyle M_{2}\rightarrow _{R}^{*}M'}$.

La confluence est équivalente à la propriété de Church-Rosser.